Let H be a proof system for quantified propositional calculus (QPC). We define the Σqj-witnessing problem for H to be: given a prenex Σqj-formula A, an H-proof of A, and a truth assignment to the free variables in A, find a witness for the outermost existential quantifiers in A. We point out that the Σq1-witnessing problems for the systems G*1and G1 are complete for polynomial time and PLS (polynomial local search), respectively. We introduce and study the systems G*0 and G0, (...) in which cuts are restricted to quantifier-free formulas, and prove that the Σqj-witnessing problem for each is complete for NC1. Our proof involves proving a polynomial time version of Gentzen’s midsequent theorem for G*0 and proving that G0-proofs are TC0-recognizable. We also introduce QPC systems for TC0 and prove witnessing theorems for them. We introduce a finitely axiomatizable second-order system VNC1 of bounded arithmetic which we prove isomorphic to Arai’s first order theory AID + Σb0-CA for uniform NC1. We describe simple translations of VNC1 proofs of all bounded theorems to polynomial size families of G*0 proofs. From this and the above theorem we get alternative proofs of the NC1 witnessing theorems for VNC1 and AID. (shrink)

In "Realism and Reason" Hilary Putnam has offered an apparently strong argument that the position of metaphysical realism provides an incoherent model of the relation of a correct scientific theory to the world. However, although Putnam's attack upon the notion of the "intended" interpretation of a scientific theory is sound, it is shown here that realism may be formulated in such a way that the realist need make no appeal to any "intended" interpretation of such a theory. Consequently, it can (...) be shown that realism is immune to Putnam's criticism and that attempts at reformulating this criticism are not likely to meet with success. (shrink)

A model for the ideal state includes discussions of the nature and application of justice, the role of the philosopher in society, the goals of education, and the effects of art upon character.

It is argued that Hempel's original rejection of the prediction criterion of confirmation in [8] (on the grounds that it leads to a circular definition of confirmation) was ill-conceived, and that his own approach exhibits undesirable consequences to the degree that it deviates from this criterion. A version of the prediction criterion is formulated which, in addition to being-non circular, escapes the criticisms advanced against Hempel's satisfaction criterion, offers certain clear advantages over alternative approaches, and may serve as the basis (...) for a theory of qualitative confirmation. The definition of confirmation developed here violates two of Hempel's three criteria of adequacy, and in showing why it should do so some light is shed on various issues in the debate concerning the acceptability of these criteria. (shrink)